Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
2

Kernel-LEAF: A logic plus functional language

Année:
1991
Langue:
english
Fichier:
PDF, 2.89 MB
english, 1991
3

Narrowing vs. SLD-resolution

Année:
1988
Langue:
english
Fichier:
PDF, 2.01 MB
english, 1988
4

Type Inference for Mobile Ambients in Prolog

Année:
2004
Langue:
english
Fichier:
PDF, 265 KB
english, 2004
8

Types for ambient and process mobility

Année:
2008
Langue:
english
Fichier:
PDF, 1.39 MB
english, 2008